add explanation of short-circuiting in logical expressions