Enligt ostvan anförda logikoch