Buchi John presentations