Divisibility Logic