formatting and unrandomized version