short circuit rules and simple example