Rule 12 and 13 have been implemented