INFO
notations in passing
horizons