Got down to page limit. Cut the proof of non-termination in problematic semantics. FIAT SEMANTICS