Software Science - Metafact