PCM C-SAT Reasoning Notes