Some statements rewritten for clarity