Title: Carman Documentation for Testing Disks for Basic Algebra - A Guided Approach