complete ex19
audit ex19 assert everything