Mistake: Did not play with small examples draw invariants