remove style on master.
add first-order logic