now detects initial empty clauses...