justice antonin