assertion should be non-inclusive of fd:0