changed subtitles.
change typetheory.