Tag: Small-space trellising ideas