Precise Development from Imprecise Rules