@black-ice: Implicit premises