updated with (amazing) 1 prov triple