The power of exact conditions in electronic structure theory