3 ms·> coolproject(X) This rule means that everything is a cool project.by dependenttypes 7y ago> coolproject(X) This rule means that everything is a cool project.