proper continuant part of at all times 225-BFO b proper continuant part of c at all times =Def for all times t, b exists at t implies (b continuant part of c at t & not (c proper continuant part of b at t)) proper continuant part of at all times proper continuant part of at some time continuant part of at all times continuant