Commented out computations that take too long in Picard.v