Text this: A Necessary and Sufficient Condition for the Liveness of Normal Nets.