WFF: The Beginner's Game of Modern Logic