for X being StackAlgebra
for s being stack of X st emp s holds
core s = s