@lostinrecursion @j_lanier K5 lurking inside the subset lattice for {w,x,y,z}, which is therefore not planar. #QED

$@lostinrecursion @j_lanier K5 lurking inside the subset lattice for {w,x,y,z}, which is therefore not planar. #QED$