[geniLog] debut tp4
[ia] wip instantiation