Remove redundant notation from the ICard interface