::: Miniature ::: Succ >> ::: Copyright Davide D'Amico 2004