New example: divisibility by 3