formal and contextual analysis
English