Done with Diff, Starting Property Testing