Description: If x is not present in ph , it is not free in A. y ph . (Contributed by Wolf Lammen, 11-Jan-2020)