Models developed by Hales