RIF and LIBERO