Bound and Free

A formula with a free variable is not a statement, and cannot be a premise