An axiomatisation of strong negation and relational composition by M.J. Hollenber