The Necessity for Functions to Accept Arguments of a Certain Type, or, "this sentence is a statement created by using a proposition as the argument to a function"