Add validation functions, plus F.throw()