Implementation Expressions (Not finished)