self types with env slack, see what needs to be proved