logic, Application ()