third way implies the existence of a first way