##
## Critical pairs :
##
