[NextOpGenericAssertionSynthesis5.jpg]