Conclusion rewrite