Sample pyramid + formalchemy application