Om man antager att manaf