Episode 121: Logic Paradigm for C