initial assert interface docs