Logic Diagnostics