Define isComputable etc.