add, eq, gt