drop (Explicit)

realize (Explicit)