Are humans guaranteed to work without error?