Some experiments with Foundation