debug mutex propositions