The logical approach to English teaching, learning, performance and progress