In categorical propositions, subjects and predicates that are linked by copula are interchangeable. In other words, copula can act like an equal (=) sign. So "All students are studying" can have the same meaning as "All those who are studying are students."