ON ULTRAFILTER LOGIC AND A MISSING AXIOM