Programs decide by asking questions that answer true or false. Is this a new record? Is the password long enough? Let's learn to ask them precisely.