compulsion to wash hands