adds details for todo on theorem