Do you see any issues doing this horizontal repair seperately and incoporated in our research and using partial of Lagarais Theorem? Will this affect the verification/validation of our Theorem in any way?