Succinctify invarients output.