The splitting is up to @vohi 

I fixed the quantifiers, thanks.