oh ya..that looks like a formal proof!!!!!!!!!