Pātuhitia tēnei: ESL design and verification