Tuck's program identity--what is he building?