theory A end
theory B end
theory C use A use B as A end