Theory is strong, implementation still rough