Identifying formal commands