Man antager att detäfven