#4 Proved