First logic version.