for X being StackAlgebra
for s being stack of X st not emp s holds
top s = |.s.| . 1