Principle logic