Full cybernetic specification. IF/THEN logic, formal notation, system definitions, and known boundaries.