added invariant example using hotel