a first comprehensible draft of ghost-lambda