logic_a_frui