First version of revised logic