Can someone EXPLAIN why this is not correct? It compiles but it does not verify correct.