Computer Literacy BASICS: A Comprehensive Guide to IC3