Just formatting PBN notebook exercises