Man borde sålunda kunna i principvara