for AFS being AffinSpace holds id the carrier of AFS is translation by Th69;