NTKs = NTK inf – NTKox – NTKbio – NTKdec