Antag , att enaf