comment out the highlighting code on the satisfies logic