Man kan således antagaatt