Accessories for Logic