For the purpose of Succinctly tutorials