Your search +path:logic +path:. +path:prems_of_goal did not match any files.
Suggestions:

Completed in 19 milliseconds