Tag: verifying all specifications