Same here for the input as above (term() does not seem right), and we are returning a binary()