PSets for 6.092