example /and-rule