adding axioms for low point source