playing with logic abbreviations