rich<15,>=13.7
typer<1,>=0.12
