added minimal clauses