Tag: up super tet reasoning