Attribute test for provn