toJSON(half != greet)
