Copernican assumption