take S = COM-Struct(# {[0,{},{}]} #); :: thesis: the InstructionsF of S = {[0,{},{}]}
thus the InstructionsF of S = {[0,{},{}]} ; :: thesis: verum