Rinfinements to Start logic