Do exercise 'parity correct' in Hoare2