purity-4-inc in Tucker 4