Definition:Basic WFF