paranoidClause: should handle correctly