Finding truth in criminal proceedings as retroactivity criterion of procedural laws | Synapse