wrote first pass of check return types section