Ideal Logic System 18