# # tests just "a" # t 0 1 a f 1 ------- a => a a => => b =>