For Laguerre planes Artzy [1] showed that a 4-point Pascal theorem on an oval leads to a configuration π, consisting of six points and five regular circles, which is equivalent Miquel's theorem. We represent some similar incidence assumptions which are again equivalent to π in each Laguerre plane. Besides, a uniform denotation to characterize different kinds of miquelian theorems in Benz planes is suggested.
Read full abstract