New Logic. Errors will be fixed soon.