Auxiliary documented related to TriBITS