Chosen (Explicit)

$um 2 Prove (Explicit)