nyaya: normal form exercises