filling in primitive operations and small step relation