paying notes stack less
ions form an empty shell
proof empty void ___