Andy's basic idea TEX file