LOGIC SYSTEM