propsing isPrimitive in Logic category