Leibniz test