Text this: Checking Residual Paramodularity