Logic Model Of A Program