Help for this page

Select Code to Download

Select or download this

# CLAIM: all input values are valid
assert($name ne "");

# GOAL: process input values