FIXED: typo, when changing the F-conditional to include entire timing model