invariance conjecture and low sets (0)

by Martin's