Man antager att hanredan