First attempt to proving.