affine logic Synonyms