generalisations are strictly false