paranoidClause: fix