可实现,关于可实现的所有信息