Assert-Refute-T-Numeric Releases