toJSON(greet != half)
