take out one layer of leibniz