Show modal collapse for a large class of properties for Anderson's proof