nyaya: normal form exercise