Double effect reasoning: intention in action