divides x 2 = $(special cased implementation)
divides x y = $(general-cased implementation)