save; make derivation dependent of label