Definition:Plain WFF