throwing an exception if `with` is used #7