First commit of the Action Log logics (post March 25th)