renamed tests; input verification
output
return type