Bottom-up TEGIS
Fixes here and there