AND simple
add armstrong's universals=properties