## pseudocode:

if ( have user credentials )
{
  if ( credentials are valid )
  {
    redirect  # see note 1
    exit
  } else {
    record error details
  }
}

print headers

print error details
  if ( error details )

print form