proved and