[Report] Proof read up to constraints