All praise be to John Austin