All tagged Toy Logic