Theories equivalent with theory of everything all derivable from it, and it derivable from them all?