bool Principal::operator!=(const Principal& p) { return !(getHashCode()==p.getHashCode()); }
bool Principal::operator==(const Principal& p) { return getHashCode()==p.getHashCode(); }