As the order 8 square tiling (osquat) within o8o4x *b3x were hemi-choral (have same curvature resp. intersect the sphere of infinity orthogonally) those could be replaced by mirror images of the remainder each.

So far this is just one of the steps to be done within the construction of lamina-truncate( o8o3x *b3x ).

Incidence matrix according to Dynkin symbol

o8o4x *b3xØx3*b   (N,M,K → ∞)

. . .    . .    | 3NMK |     8     8     8 |    8    8    8    8    8 |  1  1   8   8
----------------+------+-------------------+--------------------------+--------------
. . x    . .    |    2 | 12NMK     *     * |    2    0    0    1    1 |  0  0   2   2  acc. to equatorial vertices of verf
. . .    x .    |    2 |     * 12NMK     * |    0    2    0    1    0 |  1  0   2   0
. . .    . x    |    2 |     *     * 12NMK |    0    0    2    0    1 |  0  1   0   2
----------------+------+-------------------+--------------------------+--------------
. o4x    . .    |    4 |     4     0     0 | 6NMK    *    *    *    * |  0  0   1   1
. o . *b3x .    |    3 |     0     3     0 |    * 8NMK    *    *    * |  1  0   1   0
. o .    . x3*b |    3 |     0     0     3 |    *    * 8NMK    *    * |  0  1   0   1
. . x    x .    |    4 |     2     2     0 |    *    *    * 6NMK    * |  0  0   2   0
. . x    . x    |    4 |     2     0     2 |    *    *    *    * 6NMK |  0  0   0   2
----------------+------+-------------------+--------------------------+--------------
o8o . *b3x .    ♦   3M |     0   12M     0 |    0   8M    0    0    0 | NK  *   *   *
o8o .    . x3*b ♦   3K |     0     0   12K |    0    0   8K    0    0 |  * NM   *   *
. o4x *b3x .    ♦   24 |    24    24     0 |    6    8    0   12    0 |  *  * NMK   *
. o4x    . x3*b ♦   24 |    24     0    24 |    6    0    8    0   12 |  *  *   * NMK

or
. . .    . .      | 3NM |    8   16 |   8   16   16 |  2  16
------------------+-----+-----------+---------------+-------
. . x    . .      |   2 | 12NM    * |   2    0    2 |  0   4
. . .    x .    & |   2 |    * 24NM |   0    2    1 |  1   2
------------------+-----+-----------+---------------+-------
. o4x    . .      |   4 |    4    0 | 6NM    *    * |  0   2
. o . *b3x .    & |   3 |    0    3 |   * 16NM    * |  1   1
. . x    x .    & |   4 |    2    2 |   *    * 12NM |  0   2
------------------+-----+-----------+---------------+-------
o8o . *b3x .    & ♦  3M |    0  12M |   0   8M    0 | 2N   *
. o4x *b3x .    & ♦  24 |   24   24 |   6    8   12 |  * 2NM