((A equivalent B))