higher frame of thought
fully abstract a ___