@tomas I know. Intentionally provocative. Sea U does satisfy definition http://qttr.at/1p90 Real problem with mining is finite resources.