Can you give an example of a consistent and complete logic?