with pedantic formatting