Documentation for (&&) and (&&) states that they are lazy in their second argument...