In addITion suITable contents:
[ = ] [ al ] [ am ] [ ar ] [ arc ] [ ch ] [ du ] [ er ] [ extension ] [ extensional ] [ extensional equalITy ] [ fi ] [ file ] [ h ] [ hr ] [ id ] [ il ] [ io ] [ IT ] [ Lex ] [ li ] [ mo ] [ mod ] [ module ] [ na ] [ ns ] [ ph ] [ qualITy ] [ query ] [ rc ] [ re ] [ se ] [ si ] [ ua ]