Synthesis

Input is not a number!