* experimental logic II