done proving relation