How can I translate contrary-to-fact conditions?