higher frame of thought
fully abstract ion ___