ILP02369 HOL Bell Orna Set 6