LOGICAL CONSISTENCY