boolean theory working
logic moving to dpllt