if A = ϕ ?