V4 * tet ..=