095 Malaky and Satl and J Logic