Logic Made Easy