and decidability
# arrow
b
and decidability