Formally described