Wrote out the initial draft on definitions for a predicate, proposition and the closed world assumption