assumptions for ACDKNO