UnrelState disjonctive version push.