LOGIC SUPPORT LOGIC 9