tetralemmata