first inference