Implementations for practice and edification