Thoughts On Elements In 1checker