asserter 0..1 ()