converting abck to God's programming language has finished