Title: CEQ Logic