statements of compatibility lemmas for everything except instructions