fixed existence and proof search