Havoc: see definitions with illustrated examples