System_F-sub - mrsekut-p