 And like the first, this second argument shows that the existence of dilemmas leads to a contradiction if we assume two other commonly accepted principles. The first of these principles is that ‘ought’ implies ‘can’. Intuitively this says that if an agent is morally required to do an action, it must be within the agent’s power to do it. This principle seems necessary if moral judgments are to be uniquely action-guiding. We may represent this as