Add mutex problem statement.