Han utgår således från satsen , attj