CompleteLogic