Logic skeleton.