Poznámka k trestnímu řádu - Šedivý, Antonín