Tag: why is proving spelled with one o