PSY432: Language definitions