With the exception that these systems wouldn't have identified the type errors we highlight.