add colored quad + spread theorems