higher frame of thought
fully abstract ___