Not finished actually
Now is the final step of typesettings