Simple Correct Consistent Complete