Added second half of union definition; fixed truth environment pollution