Conclusion rewrite (because it was lost)