implement negative case for B of <trialtask>, implement negative case for F of <trialtask>.