v3
TensorLogic / v3
r1