Conclusion without test-conclusion