state in nonexplicit terms

See: imply
Full browser ?