Iniitial draft of logic