simplify stack, add methods to slice theory