Pennsylvaniainterface invariant {Panensylvania}