Eng 731 assume unique