bocardo

not defined yet