Statements rewritten for clarity