if I recall correctly I think invariant is at band camp