STILL working on the finite geochars lemmata.