lean projection on label, relabel