Words can not describe the day i just had, Minimal internet here, In absolute awe of both axiomkb and its operations in SI. Will post when i fly back