A methodical and logical approach