Clauses of size 2 are now locked.