Make additions public and require totality