qed.cs.siue.edu OK