using contractsmeta