A set of utility functions for the manuscript titled "###"