Title: The automatic justifying of type