Compilable and publishable version