Add CONJECTURAL to slip, and ++ version: masak++