Pātuhitia tēnei: Logic design and switching theory /