blifva i tillfälle att vinna sequivalenter lian uppställt som axiom.