% SZS status Theorem for not__eve
% SZS output start Proof for not__eve
  file('i/f/path/not__every',ah4s_paths_everyu_u_def)).
  file('i/f/path/not__every',ch4s_paths_notu_u_every)).
% SZS output end Proof for not__eve
