sawuli ngo yumve ayo magambo mu gihe umugabo wa mama we yara ahari it is natural in this context to ask that p itself have countable suprema