Leibniz in 4'