Return to Article Details From Leibniz's mill to Levine’s gap