V
erifying
O
ptimal
K
ode,
K
reating
O
utstanding
F
uture
F
unctions
