[F] [Verification]