Magic with explanation in impl-paper