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

# GOAL: process input values