A

Applied-verification