unrigorously

not defined yet