Satl & J Logic