What is the difference between imaginable, logical, empirical and operational? Each tests the prior’s claims.