ThetaCiv and SemiCiv done