Propercomputing presentations