FR_AssNat-contribution