Man förmodar , att defc'