Add two definite auton cases and pseudo-code for each