(untitled)

down bad implies the existence of up good