Init: explores derived instances