More work on bolzano-weierstrass theorem for product spaces
work on compact spaces
add some work on distribution funcitons