New interface, writer, proves, result output