Blattner's_conjecture loading ...