defmmantl ; for atkomn