The shadow knows [electronic resource] : refinement of ignorance in sequential programs / Carroll Morgan