powered by
checks whether x is defined and a positive number, stop otherwise
checkPositive(x, message)
x
identifier for x