Format
Drastically simplified
prelude