Gravar-mail: Active inference on discrete state-spaces: A synthesis