formal βΛππΛβ by @sophiabarbietwyla | Sortd