fiddling with logical notation