PCS C-SAT Reasoning Notes