Explicit description (0)

by R Bornat