sentence1: now we proceed on to define notions like special identities satisfied by bisemirings , which are non-associative .
sentence2: now we proceed on to define the concept of semivector spaces using the concept of semifield defined earlier .