Title: Introduction to mechanized accounts and computers..