Debugged justification