improve with syntax, OEq succeed
fix point:fix