: u center ; : lichens-with-death 8sum { u u u 1 0 u u 1 1 } >pln0 ; : rule lichens-with-death ;