@djc is compatibilism smart or sort of reconciliation of apparently incompatible positions by mere assertion or a kind of redefinition?