Logic stuff for Intro Arti…