Address prog model todos