Han utgår alltså från satsen,