prog: partiallydefinedeq