The use of causal and effectual logic in Enviu