Talk about correctness first, performance later