fully abstract