just some basic applied CS theory