Pātuhitia tēnei: Logical properties