برهان لا وعود., HALAS