Pātuhitia tēnei: Logic design theory