(trance) System F