  The rationale of the argument is a move from imaginability to real possibility. I include (2) because the notion of conceivability has one foot in the psychological camp, like imaginability, and one in the camp of pure logical possibility and therefore helps in the transition from one to the other.