Och , om en föregående formelpröfning