Total implementation and example