nearly marvelous logic