assumed

Is axiomatic knowledge from the viewpoint of HOPS website.