We show that numerous distinctive concepts of constructive mathematics arise automatically from an "antithesis" translation affine logic into intuitionistic via a Chu/Dialectica construction. This includes apartness relations, complemented subsets, anti-subgroups and anti-ideals, strict non-strict order pairs, cut-valued metrics, spaces. also explain the bifurcation some classical using choice ...