Realisation Hna * -- 7.