See http://www.cs.wright.edu/~agoshtas/ardy.docx