P U , A U
P U , A T
P T , A U
P T , A T
S U
v s U ( U , U )
v s U ( U , T )
v s U ( T , U )
v s U ( T , T )
S T
v s T ( U , U )
v s T ( U , T )
v s T ( T , U )
v s T ( T , T )