Och alt i detta rentformella