@Luna it's for an EPQ- extended project qualification- with the idea that when it's done I might serialise it and either shop it about for publication a little or put it up online, and hopefully continue it into developement of mathematics up to Euclid (possibly beyond!) (I have big dreams.)