{{}} is 1 -at_most_dimensional by Void0;
hence {{}} is SimpleGraph-like ; :: thesis: verum