One Inferential Step

→