a framework of logic container