” Formelia logiken baserad påden-