Test another criteria for taking proof