Fundamentals for Pochin's PLC