Knows 3 is divisible by 3