different implementations of classical logic can choose different functionally complete subsets of connectives the thickness of the leather and the number of tails is variable ibyo byaha bigaragarira mu ngingo zikurikira