Man kan alltså med myckensäkerhet