The Inductive Algebra, Embracing A Compl by Kieran Milne