This problem has not been formalized yet!
To add a formalization of it, submit a pull request to the Compfiles Github repository.