Starting With REFL With ODING