cofunction coframe quantum logic coquaternion composite truth function form quantic semicovariant coheight