add Computability and Logic