prob log procrastinates techreport -> misc