add Problem implus_Safe