minor style nit: let's keep the ! together with the next token (!exists instead of ! exists)