Logic from Australia