Man torde möjligen kunnaanvända