Basic validation functions from Formal Fiction