proved 2