@Override
    public String φTerm() {
        final String term;
        if (this.object.get() == null) {
            term = Term.EMPTY;