Speaking of 4-space, the indentation here is lacking. Woops.