Logic door D. Follesdal