Opening the Tetration Knowledge Graph …